Atomic formula - PDFSEARCH.IO - Document Search Engine

Atomic formula
Results: 91

#	Item
51	Oxfordshire Regions Cherwell, Oxford, South Oxfordshire, Vale of White, Horse, West Oxfordshire Key contact Name: Add to Reading List Source URL: www.automotivecouncil.co.uk Language: English - Date: 2014-10-07 16:55:54 Association of Commonwealth Universities Oxford Brookes University Prodrive Oxford Atomic Energy Research Establishment Diamond Light Source Mini Synchrotron Formula One Transport Private transport Counties of England
52	Nuclear Regulatory Commission § 73.81 Nuclear Material (i.e., not listed in appendix F of this part) a formula quantity of special nuclear material, special nuclear material of moderate strategic Add to Reading List Source URL: www.gpo.gov Language: English - Date: 2014-05-22 10:45:46 Nuclear material Uranium Chemistry Atomic Energy Act Matter USA PATRIOT Act Title VIII Nuclear technology Nuclear fuels Nuclear weapons
53	Pairwise Markov Logic Daan Fierens1 , Kristian Kersting23 , Jesse Davis1 , Jian Chen1 , and Martin Mladenov3 1 Dept. of Computer Science, KULeuven, Belgium Add to Reading List Source URL: www.first-mm.eu Language: English - Date: 2013-07-24 09:31:09 Model theory Predicate logic Formal languages Propositional calculus Markov logic network First-order logic Well-formed formula Atomic formula Interpretation Logic Mathematical logic Mathematics
54	Pairwise Markov Logic Daan Fierens1 , Kristian Kersting23 , Jesse Davis1 , Jian Chen1 , and Martin Mladenov3 1 Dept. of Computer Science, KULeuven, Belgium Add to Reading List Source URL: first-mm.informatik.uni-freiburg.de Language: English - Date: 2013-07-24 09:31:09 Model theory Predicate logic Formal languages Propositional calculus Markov logic network First-order logic Well-formed formula Atomic formula Interpretation Logic Mathematical logic Mathematics
55	Acknowledgement Form Regarding Formula Fees for Low Energy Accelerators Not Outlined in Part 1 of Schedule 1 of CNSC’s CRFR Add to Reading List Source URL: www.cnsc-ccsn.gc.ca Language: English - Date: 2012-06-19 15:56:33 Invoice Accounts payable Fee Government of Canada Nuclear technology in Canada Atomic Energy of Canada Limited Nuclear accidents Natural Resources Canada Business Canadian Nuclear Safety Commission
56	Acknowledgement Form Regarding Formula Fees for Low Energy Accelerators Not Outlined in Part 1 of Schedule 1 of CNSC’s CRFR Add to Reading List Source URL: www.ccsn.gc.ca Language: English - Date: 2012-06-19 15:56:33 Invoice Accounts payable Fee Government of Canada Nuclear technology in Canada Atomic Energy of Canada Limited Nuclear accidents Natural Resources Canada Business Canadian Nuclear Safety Commission
57	DRS: A Set of Conventions for Representing Logical Languages in RDF Drew McDermott January 12, [removed] Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2004-01-13 13:31:31 Science Semantic Web Rule Language Well-formed formula Notation3 Atomic formula First-order logic Resource Ontology RuleML Semantic Web Logic Computing
58	Acknowledgement Form Regarding Formula Fees for Low Energy Accelerators Not Outlined in Part 1 of Schedule 1 of CNSC’s CRFR Add to Reading List Source URL: www.suretenucleaire.gc.ca Language: English - Date: 2012-06-19 15:56:33 Invoice Accounts payable Fee Government of Canada Nuclear technology in Canada Atomic Energy of Canada Limited Nuclear accidents Natural Resources Canada Business Canadian Nuclear Safety Commission
59	Acknowledgement Form Regarding Formula Fees for Low Energy Accelerators Not Outlined in Part 1 of Schedule 1 of CNSC’s CRFR Add to Reading List Source URL: nuclearsafety.gc.ca Language: English - Date: 2012-06-19 15:56:33 Invoice Accounts payable Fee Government of Canada Nuclear technology in Canada Atomic Energy of Canada Limited Nuclear accidents Natural Resources Canada Business Canadian Nuclear Safety Commission
60	Minimal Maxima 맥시마 맛뵈기 Released under the terms of the GNU General Public License, Version 2 그누 GPLv2 이용허가에 따라 배포됩니다. Robert Dodier Add to Reading List Source URL: maxima.sourceforge.net Language: English - Date: 2010-04-19 12:23:16 Functional programming Lambda calculus Functional languages Q Apply D Atomic formula Software engineering Computer programming Computing